The GHZ/W-calculus contains rational arithmetic
نویسندگان
چکیده
منابع مشابه
The GHZ/W-calculus contains rational arithmetic
Graphical calculi provide an intuitive, compositional way to express and manipulate quantum states and processes. They also provide a bridge to automated techniques for reasoning and computation via graph rewriting. The power of these calculi stems from the fact that they subsume a wide range of symmetries in the structure of quantum operations such as the Choi-Jamiolkowski isomorphism. One suc...
متن کاملRational Arithmetic for Minicomputers
A representation for numbers using two computer words is discussed, where the value represented is the ratio of the corresponding integers. This allows for better dynamic range and relative accuracy than single-precision fixed point, yet is less costly than floating point arithmetic. The scheme is easy to implement and particularly well suited for minicomputer applications that call for a great...
متن کاملSchubert Calculus on the Arithmetic Grassmannian
Let G be the arithmetic Grassmannian over SpecZ with the natural invariant Kähler metric on G(C). We study the combinatorics of the arithmetic Schubert calculus in the Arakelov Chow ring CH(G). We obtain formulas for the arithmetic Littlewood-Richardson numbers and the Faltings height of G under the Plücker embedding, using ‘rim hook operations’ on Young diagrams. An analysis of the duality inv...
متن کاملThe Varpakhovskii Calculus and Markov Arithmetic
The study of propositional realizability logic was initiated in the 50th of the last century. Unfortunately, no description of the class of realizable propositional formulas is found up to now. Nevertheless some attempts of such a description were made. In 1974 the author proved that every known realizable propositional formula has the property that every one of its closed arithmetical instance...
متن کاملProperties of rational arithmetic functions
Rational arithmetic functions are arithmetic functions of the form g1 ∗···∗ gr ∗ h−1 1 ∗ ···∗h−1 s , where gi, hj are completely multiplicative functions and ∗ denotes the Dirichlet convolution. Four aspects of these functions are studied. First, some characterizations of such functions are established; second, possible Busche-Ramanujan-type identities are investigated; third, binomial-type ide...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.52.4